A Drag-and-block Approach for Linked Open Data Exploration Tuan-Dat Trinh, Ba-Lam Do, Peter Wetz, Amin Anjomshoaa, Elmar Kiesling, and A Min Tjoa Vienna University of Technology, Vienna, Austria {tuan.trinh,peter.wetz,ba

Source URL: ceur-ws.org

From Peaks to Valleys, Running Up and Down: Fast Permutation Pattern Matching Marie-Louise Bruner and Martin Lackner Vienna University of Technology ,

Source URL: tinytocs.ece.utexas.edu

EUROCARTO November 10-12, 2015, Vienna, AUSTRIA The GEOTHNK Approach to Spatial Thinking Marinos Kavouras, Margarita Kokla, Eleni Tomai* National Technical University of Athens

Source URL: eurocarto.org

• Education
• Educational psychology
• Distance education
• Educational technology
• Information technology
• Spatial memory
• Cognition

Quantifier Elimination for quantified propositional logics on Kripke frames of type ω Matthias Baaz and Norbert Preining? Institute for Algebra and Computational Mathematics University of Technology, Vienna, Austria baa

Source URL: www.preining.info

• Model theory
• Non-classical logic
• Modal logic
• Philosophical logic
• Kripke semantics
• Sheaf theory
• Propositional calculus
• Interpretation
• Mathematical logic
• Intuitionistic logic
• First-order logic

Using Statistics for Computing Joins with MapReduce Theresa Csar1 , Reinhard Pichler1 , Emanuel Sallinger1 , and Vadim Savenkov2 1 Vienna University of Technology {csar, pichler, sallinger}@dbai.tuwien.ac.at

Source URL: ceur-ws.org

Lecture Notes: Dynamical Systems and PDEs Christian Kuehn Institute for Analysis and Scientific Computing, Vienna University of Technology, 1040 Vienna, Austria April 29, 2015

Source URL: www.asc.tuwien.ac.at

Sketch-as-proof? Norbert Preining?? University of Technology, Vienna, Austria Abstract. This paper presents an extension of Gentzen’s LK, called LPG K, which is suitable for expressing projective geometry and for deduc

Source URL: www.preining.info

• Geometry
• Projective geometry
• Euclidean plane geometry
• Incidence geometry
• Algebraic geometry
• Projective plane
• Symbol

Analyzing, Comparing and Debugging Schema Mappings Emanuel Sallinger Vienna University of Technology Institute of Information Systems Database and Artificial Intelligence Group

Source URL: www.tks.informatik.uni-frankfurt.de

Screen-Space Triangulation for Interactive Point Rendering Reinhold Preiner Institute of Computer Graphics and Algorithms Vienna University of Technology

Source URL: www.cg.tuwien.ac.at

Inline Evaluation of Hybrid Knowledge Bases ? PhD Description Guohui Xiao, Thomas Eiter Institute of Information SystemsVienna University of Technology Favoritenstraße 9–11, A–1040 Vienna, Austria

Source URL: www.ghxiao.org